home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
CD ROM Paradise Collection 4
/
CD ROM Paradise Collection 4 1995 Nov.iso
/
science
/
laame101.zip
/
ES26.TXT
< prev
next >
Wrap
Text File
|
1993-10-09
|
2KB
|
97 lines
------------------------------------------------------------------------------
* *
* Laboratorio di Analisi Algoritmi di Minimizzazione Espressioni Booleane *
* *
------------------------------------------------------------------------------
Giorno: 9-10-1993
Funzione: Σ8 (10,11,12,13,14,15,16,17,18,19,20,40,41,42,43,44,45,46,47,48,49,
50,70,71,72,73,74,75,76,77,78,79,80,100,101,102,103,104,105,
106,107,108,109,110,130,131,132,133,134,135,136,137,138,139,
140,170,171,172,173,174,175,176,177,178,179,180,200,201,202,
203,204,205,206,207,208,209,210,230,231,232,233,234,235,236,
237,238,239,240)
Numero di variabili: 8
Numero di mintermini: 88
Stato dell'elaborazione: TERMINATA
Generazione dell'input: DETERMINISTICA
Tempo totale di elaborazione: 0:0:0
--------------------------
* FASE A *
--------------------------
Tempo di elaborazione: 0:0:0
Numero implicanti primi: 54
Implicanti primi determinati:
ABCdEGH
ACdEFGH
bCdEFGH
aBCDfGH
aBcdEGH
acdEFGH
abCdEFG
abCdEFH
abdEFGH
ABCdEF
ABdEFG
ABdEFH
BcdEFG
BcdEFH
aBCDEg
aBCDFg
aBCDEf
aCDeGH
AbCDfg
AbDfgH
AbDEfg
AbcDfG
AbcDfH
AbcDEf
aBcdEF
bcDfgH
bcDEfg
abcDfg
ABDef
ADefG
ADefH
DefGH
ACDef
ADegH
ABDeg
ACDeg
AcDeH
ABcDe
AcDeF
AcDeG
aCDeF
cDegH
BcDeg
cDefG
BcDef
cDefH
acDeg
acDef
DeFg
bCDe
bDeF
bDeG
bDeH
abDe
--------------------------
* FASE B *
--------------------------
Fast Quine sx
Tempo di elaborazione: 0:0:0
Numero di forme prime paragonate: 1
Numero di tabelle cicliche esaminate: 4
Numero di implicanti soluzione: 24
SOLUZIONE migliore determinata tra le forme esaminate:
ABCdEGH + aBcdEGH + abCdEFG + abCdEFH + ABCdEF + aBCDEf + aBcdEF + aCDeF +
bCdEFGH + abdEFGH + BcdEFG + BcdEFH + aBCDFg + DefGH + AbCDfg + AbcDfG +
bcDEfg + ABDef + AcDeF + acDef + DeFg + bDeH + bCDe + abDe